Symbolic Possibilistic Logic: Completeness and Inference Methods

机译：符号可能性逻辑：完整性和推理方法

代理获取

本网站仅为用户提供外文OA文献查询和代理获取服务，本网站没有原文。下单后我们将采用程序或人工为您竭诚获取高质量的原文，但由于OA文献来源多样且变更频繁，仍可能出现获取不到、文献不完整或与标题不符等情况，如果获取不到我们将提供退款服务。请知悉。

页面导航

摘要
著录项
引文网络
相似文献
相关主题

摘要

International audience

机译：国际观众

著录项

作者
Cayrol, Claudette; Dubois, Didier; Touazi, Fayçal;
展开▼
作者单位

展开▼
年度 2015
总页数
原文格式 PDF
正文语种 en
中图分类

相似文献

外文文献
中文文献
专利

1. Symbolic possibilistic logic: completeness and inference methods [J] . Cayrol Claudette, Dubois Didier, Touazi Faycal Journal of logic and computation . 2018,第1期

机译：符号可能性逻辑：完整性和推断方法
2. Finite domain and symbolic inference methods for extensions of first-order logic [J] . Johan Wittocx AI communications . 2011,第1期

机译：一阶逻辑扩展的有限域和符号推理方法
3. Database preference queries - a possibilistic logic approach with symbolic priorities (vol 63, pg 357, 2011) [J] . Dubois Didier, Hadjali Allel, Prade Henri, Annals of Mathematics and Artificial Intelligence . 2015,第3a4期

机译：数据库首选项查询-具有符号优先级的可能性逻辑方法（第63卷，第357页，2011年）
4. Symbolic Possibilistic Logic: Completeness and Inference Methods [C] . Claudette Cayrol, Didier Dubois, Faycal Touazi European conference on symbolic and quantitative approaches to reasoning with uncertainty . 2015

机译：符号可能性逻辑：完整性和推理方法
5. Symbolic Inference Techniques in Probabilistic Logic Programming [D] . Nampally, Arun. 2018

机译：概率逻辑编程中的符号推理技术
6. DIGITAL COMPUTATIONAL METHODS IN SYMBOLIC LOGIC WITH EXAMPLES IN BIOCHEMISTRY [O] . 1955

机译：符号逻辑中的数字计算方法以生物化学为例
7. Symbolic Possibilistic Logic: Completeness and Inference Methods [O] . Cayrol Claudette, Dubois Didier, Touazi Fayçal 2015

机译：符号可能性逻辑：完整性和推理方法
8. Constrained Resolution: A Complete Method for Higher Order Logic. [R] . huet,gerard pierre 1973

机译：约束分辨率：高阶逻辑的一种完整方法。

Symbolic Possibilistic Logic: Completeness and Inference Methods

摘要

著录项

引文网络

相似文献

相关主题

期刊订阅